منابع مشابه
1-Generic Degrees Bounding Minimal Degrees Revisited
We show that over the base system P− + Σ2-bounding, the existence of a 1-generic degree < 0′′ bounding a minimal degree is equivalent to Σ2-induction.
متن کاملBalanced D-lattices Are Complemented *
We characterize d-lattices as those bounded lattices in which every maximal filter/ideal is prime, and we show that a d-lattice is complemented iff it is balanced iff all prime filters/ideals are maximal.
متن کاملGeneric computability, Turing degrees, and asymptotic density
Generic decidability has been extensively studied in group theory, and we now study it in the context of classical computability theory. A set A of natural numbers is called generically computable if there is a partial computable function which agrees with the characteristic function of A on its domain D, and furthermore D has density 1, i.e. limn→∞ |{k < n : k ∈ D}|/n = 1. A set A is called co...
متن کاملDegrees of Dowd-Type Generic Oracles
For each positive integer r, Dowd (Information and Computation 96 (1992)) introduced r-generic oracles (we call them r-Dowd oracles; they are different from n-genericity of arithmetical forcing). An oracle D is r-Dowd if every r-query tautology with respect to D is forced by a polynomial-sized portion of D. We propose the study of degrees and complexity of 1-Dowd oracles. Dowd (1992) stated tha...
متن کاملGeneric Degrees of Ariki–koike Algebras
This note describes how to compute the generic degrees of the Ariki–Koike algebras by first constructing a basis of matrix units inside the algebras. As a consequence, we are able to define an explicit isomorphism from any semisimple Ariki–Koike algebra to the group algebra of the corresponding complex reflection group. This article is based fairly closely on the talk that I gave in Osaka at th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1993
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90096-v